#ifndef __PVMSPINLOCK_H__
#define __PVMSPINLOCK_H__

#include "pvm/pvmtypes.h"
#include "pvm/pvmdefs.h"

typedef pvm_int32 PVMSpinLock;

void PVMSpinLockInit(volatile PVMSpinLock& locker);
void PVMSpinLockAcquire(volatile PVMSpinLock& locker);
void PVMSpinLockRelease(volatile PVMSpinLock& locker);

#endif